0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Proof Assistants – alle Bücher, Blu-ray Discs und DVDs

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Proof Assistants" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:
    Karel Zeman: Die Erfindung des Verderbens, DVD

    Die Erfindung des Verderbens

    Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

    Artikel am Lager
    DVD
    EUR 20,99*
    Karel Zeman: Die Erfindung des Verderbens (Blu-ray), BR

    Die Erfindung des Verderbens (Blu-ray)

    Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

    Artikel am Lager
    EUR 28,99**
    Blu-ray Disc
    EUR 26,99*
    : Age-appropriate Driver Assistance Systems, Buch

    Age-appropriate Driver Assistance Systems

    People in highly developed countries are getting older and older. They want to be mobile in old age, but often have problems in road traffic. Even though they often pay a premium for age-appropriate produ…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 164,28*
    : Intelligent Computer Mathematics, Buch

    Intelligent Computer Mathematics

    Lecture Notes in Artificial Intelligence -Band 14960

    This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5 9, 2024. The 21 full …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    : The French School of Programming, Buch

    The French School of Programming

    The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 197,13*
    : Logics and Type Systems in Theory and Practice, Buch

    Logics and Type Systems in Theory and Practice

    Lecture Notes in Computer Science -Band 14560

    This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 131,42*
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH